面向多最优解组合优化问题的决策求解算法

针对具有固定物品总和、多最优解特征的组合优化问题,以固定总和实数子集问题和购买鸡翅问题为例,给出了这类多最优解组合优化问题的形式化表示。在分析枚举等经典算法基础上,提出了基于整数状态表示和实数状态表示的0-1决策递归搜索多最优解动态规划算法。针对该算法在最优解数量较大时,时间复杂度趋向O(mⁿ)的问题,提出了基于相同决策路径合并和基于0-x决策的两种改进算法。实验中两种改进算法的计算时间基本符合与O(nb+nm)的正比关系,表明对于这类多最优解组合优化问题具有良好的求解性能。     

破片战斗部与HTK的防空反导适用性分析

根据战斗部破片和HTK拦截器命中目标的条件,建立了这两种杀伤方式下命中目标时所需允许脱靶量的模型,并对不同特性的目标进行了仿真计算和对比分析.结果表明战斗部在拦截低速、弱机动大型目标时具有较好适用性,HTK则对各种性能的小型目标具有良好的适用性,综合来看,HTK受目标特性影响较小,更适用于通用型防空反导制导武器.     

SPH并行计算方案及其在自由表面流动模拟中的应用

针对光滑粒子动力学主要计算量是近邻粒子搜索这一特点,提出了一种基于粒子分解的光滑粒子动力学并行计算方案。利用该方案可以方便地将任意串行光滑粒子动力学代码并行计算,而且每一个时间步内的信息传递量只和粒子总数有关,而和粒子的分布无关,因而特别适合于自由表面流动等大变形问题的并行数值模拟。对一个粒子总数为40万的三维溃坝问题的模拟结果表明:此方案能达到的最大加速比约为16,这一结果可能比空间分解方案(不考虑动态负载均衡)更优。     

软件漏洞分析中的脆弱点定位方法

针对二进制程序漏洞成因复杂难以分析的问题,提出运用污点分析的软件脆弱点定位方法,并实现了一个工具原型Sword Checker。以动态污点追踪为基础,依据漏洞模式通过特征匹配来定位软件中的脆弱点,运用二分查找定位影响脆弱点的敏感字节。实验表明,使用Sword Checker能够精确快速识别定位软件中三种类型的脆弱点,已成功分析了多个已公开漏洞的成因,并已辅助挖掘出几个未公开漏洞。     

基于物联网与三维可视化的弹药库实时监测系统

为满足部队弹药库监测的信息化、智能化、实时化、可视化应用需求,提出一种基于物联网与三维可视化技术的弹药库实时监测方案。通过综合分析弹药库实际监测需求以及应用特点,充分利用Zig Bee无线传感器网络,依托云架构下的数据采集、传输、存储、分析、展示技术,构建多平台可视化弹药库实时监测系统。详细阐述了弹药库监测系统的架构、功能和设计方案,为建设新型弹药库实时监测提供了新的思路与方向。     

基于OFDM的宽带混沌干扰信号产生技术

根据OFDM调制特点,并结合混沌序列伪随机以及初值敏感特性,提出了一种基于OFDM技术的宽带自适应多目标混沌干扰系统。该系统可灵活实现干扰频带控制,并能根据目标特征灵活调整功率谱形,还可以实现多目标同时干扰。该系统选用混沌序列作为基带干扰源,具有类随机性能好、计算量小、序列数量众多等优点。仿真结果表明:该系统具有灵活的干扰频带和功率控制能力以及优异的时频遮盖性能,可用于对多目标进行自适应干扰。     

多核数字信号处理器矩阵乘卷积算法性能评测

矩阵乘卷积算法能够为各种卷积配置提供高性能基础实现,是面向给定芯片进行卷积性能优化的首要选择。针对国防科技大学自主研制的飞腾异构多核数字信号处理器(digital signal processor, DSP)芯片的特征以及矩阵乘卷积算法自身的特点,提出了一种面向多核DSP架构的高性能并行矩阵乘卷积实现算法ftmEConv。该算法由输入特征图转换、卷积核转换、矩阵乘以及输出特征图转换这四个均运行在通用多核DSP上的并行化部分构成,通过有效挖掘通用DSP核中功能单元的潜力来提升各个部分的性能。实验结果表明,ftmEConv实现了高达42.90%的计算效率,与芯片上的其他矩阵乘卷积算法实现相比,获得了高达7.79倍的性能加速。     

超音速环形引射器空气引射启动特性试验

建立了超音速环形引射系统,对环形引射器空气引射启动特性进行了试验研究.试验结果表明:管道马赫数越大,则系统启动压强越高,同时盲腔真空度越高;混合室收缩比越小,系统启动压强越低;若管道马赫数较大,而第二喉部长径比和亚音速扩压段面积比过小,引射器启动过程可能不稳定,甚至无法启动;混合室收缩比、环型引射器扩压管道参数对盲腔压强无影响.     

模态试验中非线性检测的一种方法及应用

本文利用振动信号实部与虚部之间Ｈｉｌｂｅｒｔ关系的原理,发展了它在模态试验中非线性检测技术。针对工程结构的特性采用了快速算法和修正技术,通过火箭风罩证明了它的实用性     

基于能力匹配的网络化防空作战联盟生成研究

作战联盟用于描述网络化防空作战的组织框架,其生成问题是研究网络化防空作战协同的基础。首先从任务、联盟表达、能力含义等方面对防空作战联盟问题进行了描述;然后从防空作战节点与面临任务在能力上的供需关系出发,建立匹配、匹配域、能力裕度等相关观念,并依据防空作战联盟形成的不同准则,分别建立基于能力裕度最大和基于执行节点数最少两个NADOC生成问题的约束优化模型;最后通过案例对模型进行了验证分析。